piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014

Source URL: piotrkazmierczak.com

• Artificial intelligence
• Multi-agent systems
• Formal sciences
• Simulation
• Alternating-time Temporal Logic
• Modal logic
• Norm
• Temporal logic
• Game theory
• International Conference on Autonomous Agents and Multiagent Systems
• Logic
• Agent-based model

Considerations Regarding Human-Level Artificial Intelligence Nils J. Nilsson () Robotics Laboratory Department of Computer Science Stanford University

Source URL: ai.stanford.edu

• Artificial intelligence
• Programming paradigms
• Computational neuroscience
• Philosophy of artificial intelligence
• Futurology
• Intelligent agent
• Intelligence
• Knowledge representation and reasoning
• Logic programming
• Robotics
• Existential risk from artificial general intelligence
• Artificial general intelligence

Computational Modeling, Formal Analysis, and Tools for Systems Biology

Source URL: www.eziobartocci.com

• Bioinformatics
• Scientific modeling
• Models of computation
• Systems biology
• Concurrency
• Computational biology
• Linear temporal logic
• Model checking
• Agent-based model
• Gene regulatory network
• Construction and Analysis of Distributed Processes
• Petri net

Auton Agent Multi-Agent Syst DOIs10458 © The Author(sof

Source URL: nms.kcl.ac.uk

• Critical thinking
• Arguments
• Logic
• Debating
• Reasoning
• Argumentation theory
• Argument
• Explanation
• Doug Walton

A Conceptual Framework for Human Decision Making within Agent Based Models D.J. Miron CSIRO Livestock Industries, Australia

Source URL: necsi.edu

• Logic
• Philosophy
• Fuzzy logic
• Artificial intelligence
• Mathematical logic
• Logic in computer science
• Knowledge representation
• Fuzzy set
• Concept
• Bernard Lonergan
• Framing
• Fuzzy concept

Logic for Automated Mechanism Design — A Progress Report Michael Wooldridge∗ Thomas Agotnes† ∗

Source URL: folk.uib.no

• Game theory
• Artificial intelligence
• Formal epistemology
• Modal logic
• Logic in computer science
• Common knowledge
• Epistemic modal logic
• Intelligent agent
• Alternating-time Temporal Logic
• Temporal logic
• Social software
• Mechanism design

A Dynamic-Epistemic Logic for Mobile Structured Agents Anya Yermakova and Alexandru Baltag Abstract Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logi

Source URL: anyayermakova.com

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach Christian Muise∗ , Vaishak Belle† , Paolo Felli∗ , Sheila McIlraith† Tim Miller∗ , Adrian R. Pearce∗ , Liz Sonenberg∗ ∗ Departmen

Source URL: www.haz.ca

• Philosophy
• Modal logic
• Logic
• Epistemology
• Artificial intelligence
• Formal epistemology
• Modality
• Epistemic modal logic
• Dynamic epistemic logic
• Epistemic closure
• Causality
• Distribution

Computational Intelligence, Volume 000, Number 000, 0000 Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols Tim Miller Department of Computer Science and Software Engineering,

Source URL: people.eng.unimelb.edu.au

Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Philosophy
• Model theory
• Formal languages
• Logical truth
• Propositional calculus
• Linear temporal logic
• Temporal logic
• Interpretation
• Substitution
• operator